logical reasoning short